Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
231	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-15 19:28:16 Applied mathematics Theoretical computer science Automata theory Systems Petri net Formal verification Finite-state machine Algorithm Dynamical system Models of computation Concurrency Computer science
232	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
233	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
234	Spatial Cognition and Computation 1: 31–65, 1999. © 1999 Kluwer Academic Publishers. Printed in the Netherlands. Human navigation ability: Tests of the encoding-error model of path integration ROBERTA L. KLATZKY1,∗, Add to Reading List Source URL: www.recveb.ucsb.edu Language: English Neuroscience Cognitive science Electroencephalography Evoked potentials Encoding Recall Difference due to Memory Memory Mind Mental processes
235	Creating an AI modeling application for designers and developers Ryan Houlette, Daniel Fu, Randy Jensen Stottler Henke* ABSTRACT Simulation developers often realize an entity’s AI by writing a program that exhibits the Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2003-04-30 16:55:28 Human behavior Agent-based model Simulation Intelligent agent Knowledge Science Models of computation Artificial intelligence Behavior
236	A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quantied Propositional Logic. BDDs are Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:50 Models of computation Predicate logic Automata theory Model theory Philosophical logic Denotational semantics First-order logic Formal language Second-order logic Logic Mathematical logic Mathematics
237	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
238	CONTENT-BASED MUSICAL SIMILARITY COMPUTATION USING THE HIERARCHICAL DIRICHLET PROCESS Matthew Hoffman Princeton University Dept. of Computer Science Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2015-03-12 00:16:21 Dirichlet process Hidden Markov model Mixture model Expectation–maximization algorithm Information retrieval Dirichlet distribution Normal distribution Semantic similarity Kullback–Leibler divergence Statistics Machine learning Natural language processing
239	A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed] Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:04:29 Models of computation Logic in computer science Deduction Symbol Entailment Denotational semantics Lambda calculus Model theory Dependence analysis Logic Theoretical computer science Metalogic
240	Towards Execution of the Synchronous Functional Data-Flow Language S IG [Draft Paper] Baltasar Tranc´on y Widemann Markus Lepper Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Cross-platform software Models of computation Compiler construction Procedural programming languages Programming paradigms Stream processing Java virtual machine Scheme Actor model Computing Software engineering Computer programming

UPDATE